| ID | Interpret | Skladba | Album | |
| 1. | Amin Vahdat | Difference Engine: Harnessing Memory Redundancy in Virtual Machines | OSDI '08 |  |
| 2. | Hari Kannan | Hardware Enforcement of Application Security Policies Using Tagged Memory | OSDI '08 | |
| 3. | Haryadi S. Gunawi | SQCK: A Declarative File System Checker | OSDI '08 | |
| 4. | Haryadi S. Gunawi | SQCK: A Declarative File System Checker | OSDI '08 | |
| 5. | Francis M. David | CuriOS: Improving Reliability through Operating System Structure | OSDI '08 | |
| 6. | Francis M. David | CuriOS: Improving Reliability through Operating System Structure | OSDI '08 | |
| 7. | Ting Yang | Redline: First Class Support for Interactivity in Commodity Operating Systems | OSDI '08 | |
| 8. | Ting Yang | Redline: First Class Support for Interactivity in Commodity Operating Systems | OSDI '08 | |
| 9. | Cristian Cadar | KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs | OSDI '08 | |
| 10. | Cristian Cadar | KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs | OSDI '08 | |
| 11. | Silas Boyd-Wickizer | Corey: An Operating System for Many Cores | OSDI '08 | |
| 12. | Anthony Cozzie | Digging for Data Structures | OSDI '08 | |
| 13. | Anthony Cozzie | Digging for Data Structures | OSDI '08 | |
| 14. | Ashok Anand | Avoiding File System Micromanagement with Range Writes | OSDI '08 | |
| 15. | Ashok Anand | Avoiding File System Micromanagement with Range Writes | OSDI '08 | |
| 16. | Amin Vahdat | Difference Engine: Harnessing Memory Redundancy in Virtual Machines | OSDI '08 | |
| 17. | Hari Kannan | Hardware Enforcement of Application Security Policies Using Tagged Memory | OSDI '08 | |
